mathematical logic câu

• McCarthy championed mathematical logic for Artificial Intelligence.
  McCarthy vô địch logic toán học cho trí tuệ nhân tạo.
• McCarthy championed mathematical logic for artificial intelligence.
  McCarthy vô địch logic toán học cho trí tuệ nhân tạo.
• algebra, theory of numbers and mathematical logic;
  Tiến sĩ đại số, lý thuyết số và logic toán học
• encourage the use of mathematical logic and
   Thực hiện phép ĐẢO của phép toán logic VÀ
• The objective of modern mathematical logic is diverse.
  Tác động của các thuật toán logic khác nhau là hoàn toàn khác nhau.
• encourage the use of mathematical logic and
  Thực hiện phép ĐẢO của phép toán logic VÀ
• At that time, query languages relied on complex mathematical logic and notation.
  Vào thời điểm đó, ngôn ngữ truy vấn dựa vào logic toán học và ký hiệu.
• Yet the resources of mathematical logic are not so easily exhausted.
  Tuy nhiên, các tài năng của logic toán học thì không quá dễ dàng kiệt sức.
• In mathematical logic, we have an error called “halting problem”.
  Trong logic toán học, chúng ta có một lỗi được gọi là “dừng vấn đề”.
• In mathematical logic we have an error called “halting problem”.
  Trong logic toán học, chúng ta có một lỗi được gọi là “dừng vấn đề”.
• Study programme Mathematical Structures: Common requirements + group theory, mathematical logic.
  Nghiên cứu cấu trúc toán học ngành: lý thuyết nhóm yêu cầu chung, logic toán học.
• Peano was a key participant, presenting a paper on mathematical logic.
  Peano vinh dự là một người tham gia chính, trình bày một bài báo về logic toán học.
• Yet the resources of mathematical logic are not so easily exhausted.
  Tuy nhiên, những nguồn lực của lôgích toán học không dễ dàng bị cạn kiệt như thế.
• Three years later, Peano published his first book dealing with mathematical logic.
  Một vài năm sau đó, Peano xuất bản cuốn sách đầu tiên dưới tên ông về logic toán học.
• Bouman’s algorithm—the CHIRP (Continuous High-resolution Image Reconstruction using Patch priors) was developed with this mathematical logic.
  Cô đặt tên thuật toán này là CHIRP (Continuous High-resolution Image Reconstruction using Patch priors).
• A few years later, Peano published his first book dealing with mathematical logic.
  Một vài năm sau đó, Peano xuất bản cuốn sách đầu tiên dưới tên ông về logic toán học.
• Three years later, Peano published his first book on mathematical logic.
  Một vài năm sau đó, Peano xuất bản cuốn sách đầu tiên dưới tên ông về logic toán học.
• The modern development of mathematical logic dates from Boole’s Laws of Thought (1854).
  Phát triển hiện đại của lôgích toán học bắt đầu tính từ Laws of Thought (1854) của Boole.
• The modern development of mathematical logic dates from Boole's Laws of Thought (1854).
  Phát triển hiện đại của lôgích toán học bắt đầu tính từ Laws of Thought (1854) của Boole.
• Fields in logic include mathematical logic (formal symbolic logic) and philosophical logic.
  Các lĩnh vực trong logic học gồm: logic toán học (logic ký hiệu hình thức) và logic triết học.